Sergey Tretyakov - Bertolt Brecht’s teacher
نویسندگان
چکیده
منابع مشابه
Sergey Berezin
My primary research interests are in the field of formal methods in computer-aided verification (or Formal Verification for short). This is a relatively young field in computer science which concerns with finding errors in hardware and computer programs, and proving correctness of such designs (absence of certain types of errors). Formal verification is often used in proving correctness of the ...
متن کامل2 Sergey
In part I it was shown that for each k ≥ 1 the generalized Sato–Levine invariant detects a gap between k-quasi-isotopy of link and peripheral structure preserving isomorphism of the finest quotient Gk of its fundamental group, ‘functorially’ invariant under k-quasi-isotopy. Here we show that Cochran’s derived invariant β, provided k ≥ 3, and a series of μ̄-invariants, starting with μ̄(111112122) ...
متن کاملSergey Chernov
With availability of Web 2.0 platforms such as Flickr and YouTube, personal information is no longer locked within a user’s desktop, but becomes increasingly distributed and shared across various online applications. In these settings it is important to provide a quick glance at the available personal resources and facilitate their search and selective sharing. This paper describes the challeng...
متن کاملQuantum Schubert Polynomials Sergey
where In is the ideal generated by symmetric polynomials in x1, . . . , xn without constant term. Another, geometric, description of the cohomology ring of the flag manifold is based on the decomposition of Fln into Schubert cells. These are even-dimensional cells indexed by the elements w of the symmetric group Sn . The corresponding cohomology classes σw , called Schubert classes, form an add...
متن کاملIi . Comparison Sergey
Geometric aspects of the filtration on classical links by k-quasi-isotopy are discussed, including the effect of Whitehead doubling, relations with Smythe's n-splitting and Kobayashi's k-contractibility. One observation is: ω-quasi-isotopy is equivalent to PL isotopy for links in a homotopy 3-sphere (resp. contractible open 3-manifold) M if and only if M is homeomorphic to S 3 (resp. R 3). As a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sibirskiy filologicheskiy zhurnal
سال: 2014
ISSN: 1813-7083
DOI: 10.17223/18137083/47/16